Emacs Lisp - PDFSEARCH.IO - Document Search Engine

Emacs Lisp
Results: 113

#	Item
41	PVS Release Notes Sam Owre SRI International July 20, 2008 Add to Reading List Source URL: pvs.csl.sri.com Language: English - Date: 2008-07-21 06:13:57 Functional languages Type theory Common Lisp Cross-platform software Lisp Emacs Dependent type Subtype polymorphism Software Computing Lisp programming language
42	An Introduction to Programming in Emacs Lisp Reviewer: Hong Feng [removed] Feb 01, 2002 without a limit. (Can you do these jobs inside MSWord?) Add to Reading List Source URL: www.free-soft.org Language: English - Date: 2002-03-05 08:43:06 GNU ELIZA Editor war Gosling Emacs Software Emacs Lisp
43	;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; A few things before you read my .emacs: ;; −I’ve never learnt emacs−Lisp, so my programming style is awful. ;; Those are mainly ad Add to Reading List Source URL: www.rouquier.org Language: English - Date: 2007-07-20 10:21:54 Emacs Text editors Functional languages Lisp programming language Macro programming languages Lisp AUCTEX LaTeX Eval Software Computing Application software
44	Creating an Environment for Reusable Software Research: A Case Study in Reusability Matt Curtin The Ohio State University Department of Computer and Information Science Add to Reading List Source URL: www.interhack.net Language: English - Date: 2002-07-29 21:28:35 Emacs Cross-platform software Lisp programming language Procedural programming languages Text editors Lisp C Defun Read–eval–print loop Software Computing Computer programming
45	PVS System Guide Version 2.4 • November 2001 S. Owre N. Shankar J. M. Rushby Add to Reading List Source URL: pvs.csl.sri.com Language: English - Date: 2006-11-30 07:15:59 Automated theorem proving Prototype Verification System Proof assistant Emacs Common Lisp Software Computing Lisp programming language
46	Adapting Proof General Proof General — Organize your proofs! Adapting Proof General 4.2pre to new provers October 2011 proofgeneral.inf.ed.ac.uk Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2015-03-22 05:14:24 Functional languages Lisp programming language Emacs Proof assistant Coq Lisp Isabelle Read–eval–print loop Shell Software Computing Computer programming
47	Figure04_Diagram of TGarden development [Converted] Add to Reading List Source URL: topologicalmedialab.net Language: English - Date: 2012-03-23 03:23:38 Filkers Lisp programming language Richard Stallman Open source Foam Free software Hacker Ambient intelligence Computing Software licenses Emacs
48	Vanilla Lisp Shell (VLS) c 2001 William Paul Vrotney Copyright i Add to Reading List Source URL: www.interhack.net Language: English - Date: 2004-02-18 13:31:23 Lisp programming language Functional languages Common Lisp Emacs Lisp Genera Shell Eval Preprocessor Software Computing Computer programming
49	Lisp Web Tales My attempts at learning web development, foolishly using common lisp, and even more foolishly, writing about it in public Pavel Penev This book is for sale at http://leanpub.com/lispwebtales This version Add to Reading List Source URL: samples.leanpub.com Language: English - Date: 2014-02-07 22:03:14 Lisp programming language Functional languages Common Lisp Emacs Cross-platform software Lisp Symbol Perl module SLIME Computing Software Computer programming
50	Maintaining Portable Lisp Programs It’s a bug, not a feature Christophe Rhodes∗ February 5, 2004 Abstract Add to Reading List Source URL: jcsu.jesus.cam.ac.uk Language: English - Date: 2004-02-05 07:21:52 Lisp programming language Functional languages Common Lisp Public domain software Cross-platform software Lisp Genera Read–eval–print loop Emacs Software Computing Computer programming

UPDATE